Relationships and Responsibilities of Software Experimentation.

The ESE research has dependence relationships with Ethical control, Good Laboratory Practices, and related Guidelines. In other fields there are many types of experiments, to conduct orderly (in case of success only!) E0 acts on things, “in-vitro”; experimenters are the only humans allowed to come in contact; ESE scientists should simulate their experiment processes before involving volunteers. E1 acts on primary animals; seems not applicable for ESE experiments. E2 acts on formally informed human volunteers performing as subjects. En>2 act on dependent humans: the lower is n the greater is the level of dependency of the involved subjects. Based on the ESE practices, to the best or our knowledge, ESE experiments usually skip the stages E0, and still limit to enact (part of) E2, which is a quite frustrating fact that we should work to remove

A Model of Control Valve for Wagons Equipped by k-Blocks

Paper illustrates the key features of the control valve model of TrainDy, renewed to be compliant with wagons that equip composite brake blocks type k in their braking systems. TrainDy is an international software owned by UIC (The International Union of Railways) and used by major Railway Undertakings in Europe to perform computations of Longitudinal Train Dynamics. Composite brake blocks type k equips new or revamped freight trains in Europe and are used to reduce train noise caused by particles of friction material between wheel and rail. This topic is particularly relevant since a relevant part of freight traffic in Europe is performed during night and many railway lines are close to highly populated areas. Paper shows the validation of this new model against experimental test campaigns performed at bench and in real field and made available for the revision process of UIC CODE 421 for freight train interoperability

A reference architecture for the component factory

Software reuse can be achieved through an organization that focuses on utilization of life cycle products from previous developments. The component factory is both an example of the more general concepts of experience and domain factory and an organizational unit worth being considered independently. The critical features of such an organization are flexibility and continuous improvement. In order to achieve these features we can represent the architecture of the factory at different levels of abstraction and define a reference architecture from which specific architectures can be derived by instantiation. A reference architecture is an implementation and organization independent representation of the component factory and its environment. The paper outlines this reference architecture, discusses the instantiation process, and presents some examples of specific architectures by comparing them in the framework of the reference model

Value-based design decision rationale documentation: Principles and empirical feasibility study

The explicit documentation of the rationale of design decisions is a practice generally encouraged, but rarely implemented in industry because of a variety of inhibitors. Methods proposed in the past for Design Decisions Rationale Documentation (DDRD) aimed to maximize benefits for the DDRD consumer by imposing on the producer of DDRD the burden to document all the potentially useful information. We propose here a compromise which consists in tailoring DDRD, based on its intended use or purpose. In our view, the adoption of a tailored DDRD, consisting only of the required set of information, would mitigate the effects of DDRD inhibitors. The aim of this paper is twofold: i) to discuss the application of Value-Based Software Engineering principles to DDRD, ii) to describe a controlled experiment to empirically analyze the feasibility of the proposed method. Results show that the level of utility related to the same category of DDRD information significantly changes depending on its purpose; such result is novel and it demonstrates the feasibility of the proposed value-based DDRD

Documenting design decision rationale to improve individual and team design decision making: An experimental evaluation

Individual and team decision-making have crucial influence on the level of success of every software project. Even though several studies were already conducted, which concerned design decision rationale documentation approaches, a few of them focused on performances and evaluated them in laboratory. This paper proposes a technique to document design decision rationale, and evaluates experimentally the impact such a technique has on effectiveness and efficiency of individual/team decision-making in presence of requirement changes. The study was conducted as a controlled experiment. Fifty post-graduate Master students performed in the role of experiment subjects. Documented design decisions regarding the Ambient Intelligence paradigm constituted the experiment objects. Main results of the experiment show that, for both individual and team-based decision-making, effectiveness significantly improves, while efficiency remains unaltered, when decision-makers are allowed to use, rather not use, the proposed design rationale documentation technique. Copyright 2006 ACM

An Efficient Approximate Algorithm for the k-th Selection Problem

We present an efficient randomized algorithm for the approximate k-th selection problem. It works in-place and it is fast and easy to implement. The running time is linear in the length of the input. For a large input set the algorithm returns, with high probability, an element which is very close to the exact k-th element. The quality of the approximation is analyzed theoretically and experimentally

Solvable (and unsolvable) cases of the decision problem for fragments of analysis

We survey two series of results concerning the decidability of fragments of Tarksi’s elementary algebra extended with one-argument functions which meet significant properties such as continuity, differentiability, or analyticity. One series of results regards the initial levels of a hierarchy of prenex sentences involving a single function symbol: in a number of cases, the decision problem for these sentences was solved in the positive by H. Friedman and A. Seress, who also proved that beyond two quantifier alternations decidability gets lost. The second series of results refers to merely existential sentences, but it brings into play an arbitrary number of functions, which are requested to be, over specified closed intervals, monotone increasing or decreasing, concave, or convex; any two such functions can be compared, and in one case, where each function is supposed to own continuous first derivative, their derivatives can be compared with real constants

Six equations in search of a finite-fold-ness proof

By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule-them-all' equations: proving that one of them has only a finite number of integer solutions would suffice to ensure that each recursively enumerable set admits a finite-fold polynomial Diophantine representation

Developments in high-precision aspects of power converter control for LHC

The initial results from integration testing of the LHC magnet power converters revealed problems of lowfrequency noise, settling time, drift with time and temperature, thermal management and EMC. These problems originated in the use of DSP, the A/D converter (ADC), the DCCT and their respective environments. This paper reports the methods used to improve the performance through hardware and software modifications and the results achieved